This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.

One of the challenges confronted by language learners is to master the interpretation of sentences with multiple logical operators, where different interpretations depend on different scope assignments. Five-year-old children have been found to access some readings of potentially ambiguous sentences much less than adults do :73–102, 2006; Musolino, Universal Grammar and the acquisition of semantic knowledge, 1998; Musolino and Lidz, Lang Acquis 11:277–291, 2003, among many others). Recently, Gualmini et al. have shown that, by careful contextual manipulation, it is possible (...) to evoke some of the putatively unavailable interpretations from young children. Their proposal is quite general, but the focus of their work was on sentences involving nominal quantifiers and negation. The present paper extends this investigation to sentences with modal expressions. The results of our two experimental studies reveal that, in potentially ambiguous sentences with modal expressions, the kinds of contextual manipulations introduced by Gualmini and colleagues do not suffice to explain children’s initial scope interpretations. In response to the recalcitrant data, we propose a new three-stage model of the acquisition of scope relations. Most importantly, at the initial stage, child grammars make available only one interpretation of negative sentences with modal expressions. We call this the Unique Scope Assignment stage. (shrink)

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. (...) Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

We prove that the unification type of Łukasiewicz logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background (...) to such diverse tools. In particular, we offer a detailed proof of the duality theorem for finitely presented MV-algebras and rational polyhedra—a fundamental result that, albeit known to specialists, seems to appear in print here for the first time. (shrink)

This article aims at sketching a philosophical theory of sound based on the perspective of sound designers: unique agents blurring the boundaries between engineering, music, acoustics and sound-based art. After having introduced the general framing in Section 1, focusing on a short history of the theory and practice of sound design, in Section 2 we propose a reading of sound as monad. We derive such intuition from the technology of digital sampling of audio signals, based on the decomposition of complex (...) sound waves in a number of elementary sinusoidal waves. Thus, in Section 3, we attempt at grounding the resulting “sound-atom” on Leibniz’s notion of monad, intended both as a “simple substance without parts” and as a “nucleus of forces in statu possibilitatis.” The insight is resumed and further discussed in Section 4, where we draw our conclusions by demonstrating the fitness of such framing with regards to the standpoint of sound design, while accounting for the work of sound artists Carsten Nicolai and Ryoji Ikeda. (shrink)

Is the ubiquity of contemporary popular music akin to a deliberate aggression to the hearing, making the listening experience devoid of any sense? If so, is there any strategy to morph this supposed confusion into meaningful stimuli? Relying on epistemology, we attempt at promoting the act of listening as a proper way of world-making and refer to Mark Reybrouck, Bruno Nettl, Steven Brown and Joseph Jordania—among others—to gather appropriate heuristic tools. In the last part of the essay, we advance the (...) concept of timbral quotation as an additional means to grasp meaningful cues in the timbrical richness of contemporary popular compositions. We shall sustain the particular fitness of this tool especially with regard to nowadays’ Western popular music, more and more timbre-centered rather than harmony-centered. (shrink)

Designing a pension system is both a complex endeavor and a long lasting legacy. Complexity stems from the many trade-offs that conceiving a pension system entail and from how these initial decisions affect the social and economic behavioral responses of workers and retirees. Policy-makers planning a pension system have to evaluate its internal economic consistency, but also these feedbacks. Economic and demographic models that allow a quantitative evaluation of these costs and benefits are required. More than ever at the initial (...) stage of design, since pension systems are persistent. Yet, pension systems are not monolith, but living entities that change over time. Some of these modifications are produced by individuals’ reactions to incentives built in the system, and need to be foreseen during the initial planning. Other changes are induced by reform measures and constitute the policy responses to unpredicted exogenous shocks – such as population aging. Re-designing the pension system to cope with new demands, while being limited by existing constraints, is a difficult task. Recent reforms of the Italian pension system are discussed in detail to highlight the policy trade-offs and the economic motivations behind the decision of the reform policies. (shrink)

Researchers agree on ascribing the De incarnatione Christi contra Apollinarium and the De salutari epiphania contra Apollinarium to two different authors, who probably shared the same theological education. The latter not only uses a mature theological style but shows a better knowledge of Apollinarius of Laodicea and his disciples’ writings. Even though the two authors try to demonstrate the presence of a perfect humanity in Christ, against Apollinarian thought, we can find some important differences in their works concerning the topic (...) of the impeccabilitas of Christ and the relationship between sin and freedom. They explain in a different way the theory of salvation according to Apollinarius: while according to the author of De incarnatione Christi contra Apollinarium the man can save himself through the imitation of Christ, for the other writer salvation has been accomplished only because Christ is devoid of any trace of sin. (shrink)

In this paper we document the developmental trajectory of the complementizer system (CP-system) in Italian by looking at the earliest spontaneous production of eleven young children, whose transcriptions are available on CHILDES. We conducted a novel corpus analysis, tracking down a number of constructions in which the clausal left-periphery is activated. First, we considered the appearance of the different complementizer particles in the CP-system, which overtly realize the three distinct functional projections ForceP, IntP, and FinP. The analysis revealed that children (...) acquiring Italian correctly use these complementizer particles already in the third year of life. Second, we looked for the simultaneous activation of different functional projections within the CP-system. We went through our corpus searching for complex sentences in which more than one constituent was moved to the left periphery. This option is allowed by the adult grammar of Italian and, as our search revealed, it is also attested in the grammar of young children. Soon after their second birthday, sequences in which a left-dislocated Topic and a Wh- element co-occur are attested, directly supporting the existence of a (high) Topic position above FocusP. Moreover, movement in general conforms to the constraints of the adult grammar, with no attested violation of obligatory inversion (a consequence of the Q-Criterion). Importantly, “why-questions” did not require inversion, much as in the adult grammar of Italian. Taken together, children's use of complementizer particles and their activation of multiple landing sites for movement show that 2-year-olds already possess a richly articulated functional structure of the CP-system, aligned to the layered adult structure. In concluding the paper, we also discuss some temporal differences between constructions activating high and low portions of the CP-system. In particular, we detect a temporal precedence for wh-questions over why-questions. Since the former activate a lower projection, this is consistent with the recently proposedGrowing Treeshypothesis, according to which the development of the CP-system proceeds stepwise. (shrink)

In his mature works, Kuhn abandons the concept of a paradigm and becomes more interested in the analysis of the conceptual structure of scientific theories. These changes are interpreted as resulting from a ‘linguistic turn’ that Kuhn underwent sometimes around the 1980s. Much of the philosophical discussions about Kuhn’s post-‘linguistic turn’ philosophy revolves around his views on taxonomic concepts. Apart from taxonomy, however, the mature Kuhn introduces other concepts, such as conceptual networks and lexicons. This article distinguishes these three concepts (...) and shows that adopting each one of them has different impacts on Kuhn’s model of science. After distinguishing and assessing the concepts of taxonomy, network, and lexicon, it will be argued that the latter not only fits the Kuhnian model of science better, but it also helps capture the wide sense of Kuhn’s early concept of a paradigm. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficiently specified circumstances, a predication of “is red” receives a unique, exact number from the real unit interval [0, 1]. You should then be committed to explain what is it that determines that value, settling for instance that my coat is red to degree 0.322 rather than 0.321. In this note (...) I revisit the problem in the important case of Łukasiewicz infinite-valued propositional logic that brings to the foreground the rôle of maximally consistent theories. I argue that the problem of artificial precision, as commonly conceived of in the literature, actually conflates two distinct problems of a very different nature. (shrink)

In his mature writings, Kuhn describes the process of specialisation as driven by a form of incommensurability, defined as a conceptual/linguistic barrier which promotes and guarantees the insularity of specialties. In this paper, we reject the idea that the incommensurability among scientific specialties is a linguistic barrier. We argue that the problem with Kuhn’s characterisation of the incommensurability among specialties is that he presupposes a rather abstract theory of semantic incommensurability, which he then tries to apply to his description of (...) the process of specialisation. By contrast, this paper follows a different strategy: after criticising Kuhn’s view, it takes a further look at how new scientific specialties emerge. As a result, a different way of understanding incommensurability among specialties will be proposed. (shrink)

This essay analyzes the work of Paolo Prodi (1932–2016), which is characterised by a constant reflection on secularisation. As a democratic Catholic, he explored the relationship between the Roman Church and the modern world starting from the Council of Trent and from the dual figure of the pope as a temporal ruler and spiritual guide. His original contribution concerned the conflict between law and conscience: a problem that led him to design a triptych of books on the foundations of the (...) western world. He was influenced not only by Verfassungsgeschichte (German constitutional history), but also by Harold Berman. If for Weber the modern world was born from the Reformation, for Berman it was the ‘Gregorian revolution’ that changed the fate of Latin Europe. For Prodi, too, the medieval conflict between canon and civil law introduced a peculiar structure in Europe that would last until the triumph of the nation states and the so-called ‘political religions’. In his three books (the first dedicated to the oath, the second to justice, the last to economics), Prodi placed at the centre of his analysis the notion of forum; the history of moral theology and casuistry and the relationship between penitence and justice. (shrink)

To believe that every single scientist ought to be individually engaged in ethical thinking in order for science to be responsible at a collective level may be too demanding, if not plainly unrealistic. In fact, ethical labor is typically distributed across different kinds of scientists within the scientific community. Based on the empirical data collected within the Horizon 2020 ‘RRI-Practice’ project, we propose a classification of the members of the scientific community depending on their engagement in this collective activity. Our (...) classification offers, on the one hand, a model of how the ethical aspects of science are taken into consideration by scientists and, on the other, some indications on how to institutionalize ethics in science. (shrink)

Qu’elles soient d’Église ou d’État, les archives italiennes recèlent une documentation rapportant des cas de violences perpétrées par des clercs sur des pueri, c’est-à-dire des enfants ou des préadolescents. Bien que ce crime n’ait pas été inhérent au milieu clérical, de nombreux membres du clergé furent impliqués dans des affaires de crimes « odieux », délits « énormes » et agissements violents à l’époque moderne. Dans les procès, c’est la formation des enfants et des jeunes et leur proximit...

Al nominalista non manca proprio nulla? La dispensabilità dell’insieme vuoto in mereologia - Quine’s commitment to nominalism has always required set theory to be replaced by an ontologically less dubious tool for the analysis of predication, one that is usually ABSTRACT Rivista di storia della filosofia, n. 1, 2009 mereological in nature, akin to the Calculus of Individuals he and Goodman developed in a seminal paper on nominalism. The problem Quine himself always acknowledged as central in any such replacement arises (...) with the mereological "translation" of numbers. I show here that Quine’s proposed translation strategy, even when successful, raises even more serious issues since it requires mereology to supply a substitute for the empty set. After proving the indispensability, given Quine’s translation, of such an entity, I demonstrate that an exact mereological replica of the empty set cannot be admitted without engendering contradictions. I conclude by discussing some paraphrases of the usual mereological axioms that prima facie might seem to be compatible with the null object and assessing their implausibility. (shrink)

In his late years, Thomas Kuhn became interested in the process of scientific specialization, which does not seem to possess the destructive element that is characteristic of scientific revolutions. It therefore makes sense to investigate whether and how Kuhn’s insights about specialization are consistent with, and actually fit, his model of scientific progress through revolutions. In this paper, I argue that the transition toward a new specialty corresponds to a revolutionary change for the group of scientists involved in such a (...) transition. I will clarify the role of the scientific community in revolutionary changes and characterize the incommensurability across specialties as possessing both semantic and methodological aspects. The discussion of the discovery of the structure of DNA will serve both as an illustration of my main argument and as reply to one criticism raised against Kuhn—namely, that his model cannot capture cases of revolutionary yet non-disruptive episodes of scientific progress. Revisiting Kuhn’s ideas on specialization will shed new light on some often overlooked features of scientific change. (shrink)

This article reinterprets Schumpeter’s theory of entrepreneurship in a decidedly un-“Schumpeterian” way, and argues that continued emphasis on Schumpeter’s alleged glorification of the entrepreneur constitutes a missed opportunity for democratic critics of capitalism and neoliberalism. I demonstrate that Schumpeter did not exalt the individual entrepreneur as the paradigm for economic and political leadership in capitalist societies, and I show that he offers a surprisingly robust resource for reconceptualizing entrepreneurship. Schumpeter theorized entrepreneurship: as a phenomenon that could not be exemplified by (...) either individual persons or strictly private entities; as a conceptual mechanism for analyzing change in the history of capitalism; and even as evidence that political and economic leadership should not be conflated in modern democratic societies. By contextualizing Schumpeter’s discussions of the entrepreneur, I suggest that a reconsideration of Schumpeter’s actual theory of entrepreneurship would invigorate contemporary debates about the role of leadership in capitalist economies and liberal-democratic polities. (shrink)

ABSTRACTA close reading of Capitalism, Socialism and Democracy underscores Schumpeter's critique of elite political capacities. Given the neglect of this critique in contemporary scholarship, it might warrant a revision of our understanding of “Schumpeterianism.” To notice the critique of elites, we need to read Part IV in the context of the work as a whole, and with greater sensitivity to the sarcasm, irony, and humor that permeate the book. Such a reading produces a fundamentally altered understanding of Schumpeter's contribution to (...) democratic theory. (shrink)